Conjunctive normal form

join shbcf.ru